gradual typing
TypeScript and the dawn of gradual types